<html>
	<head>
	</head>
	<body>
		<form action='result.php' method='post'>
			<textarea name='code' rows='50' cols='70'></textarea>
			<?php
				$pnum = $_GET['pnum'];
				echo "<input type='text' name='pnum' value='$pnum'></input>";
			?>
			<input type='submit' value='submit'></input>
		</form>
	</body>
</html>
